Backported new bignum configuration code.
authorSven Luther <luther@debian.org>
Wed, 17 Dec 2003 00:04:46 +0000 (00:04 +0000)
committerSven Luther <luther@debian.org>
Wed, 17 Dec 2003 00:04:46 +0000 (00:04 +0000)
commitf497b82049e30d60aa928b25c1769c297b9bba64
treeb1b7e90f35051a78d3945001d6da90a4a42cb95c
parenta6835cbd034c512b0daefe4274cded310f7ea40f
Backported new bignum configuration code.
debian/ocaml.dirs
debian/patches/00list
debian/patches/config_bignum.dpatch [new file with mode: 0644]
debian/rules